Parallel Monitors for Self-adaptive Sessions
نویسندگان
چکیده
منابع مشابه
Parallel Monitors for Self-adaptive Sessions
The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes associated with monitors, which control their behaviour. Each participant can access and modify a set of global data, which are able to trigger adaptations in the presence of critical changes of values. The use of the par...
متن کاملReversible Sessions Using Monitors
Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. This note develops a simple observation: the machinery required to define asynchronous semantics ...
متن کاملParallel Actor Monitors
While the actor model of concurrency is well appreciated for its ease of use, its scalability is often criticized. Indeed, the fact that execution within an actor is sequential prevents certain actor systems to take advantage of multicore architectures. In order to combine scalability and ease of use, we propose Parallel Actor Monitors (PAM), as a means to relax the sequentiality of intra-actor...
متن کاملParallel object monitors
Coordination of parallel activities on a shared memory machine is a crucial issue for modern software, even more with the advent of multi-core processors. Unfortunately, traditional concurrency abstractions force programmers to tangle the application logic with the synchronization concern, thereby compromising understandability and reuse, and fall short when fine-grained and expressive strategi...
متن کاملParallel Sessions (Proffered Papers)
The Microtubule Affinity-Regulating Kinase 4 belongs to a kinases family that phosphorylates the Microtubule[MT]-Associated Proteins, causing their detachment and increasing MT dynamics. MARK4 encodes two alternative spliced isoforms, L and S, which expression is differentially regulated in human tissues. In normal brain the predominant expression of MARK4S has been related to a putative role i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.211.3